منابع مشابه
Introducing TRIM
We present TRIM, an abstract machine capable of executing a subset of the algebraic speci cation language OBJ3. A speci cally designed compiler translates the order sorted conditional equations of an OBJ3 speci cation into TRIM code. The fact that TRIM supports order sorted term rewriting natively di erentiates it from many other abstract term rewriting machines. To obtain more e cient abstract...
متن کامل2D Aircraft Trim
The purpose of this document is to discuss a 2-dimensional trim model for an aircraft along with the necessary mathematical methods to solve the problem, the computer implementation of the method and the results. The aircraft is climbing at a constant translational velocity, i.e. the aircraft is not accelerating. The 2-dimensional simplification; restricting the motion of the aircraft to longit...
متن کاملغزلی بر جان کیتس(john Keats )
جان کیتس (1821-1795) یکی از مشهورترین و مبتکرترین شعرای تاریخ ادبیات انگلستان است . اولین شعری که از وی ثبت شده در تاریخ 1814سروده شده است . و عنوان آن تقلید ی از اسپنسر بوده است . در سال 1817 نخستین و در سال 1818 دومین و در سال 1820 سومین و آخرین جلد مجموعه اشعار وی منتشر شده است . کیتس با داشتن قدرت عظیم تخیل و نبوغ در نوشتن ‘ می توانست دنیای زیبای طبیعت پیرامون خود را به صورت بسیار مطبوع در...
متن کاملTRIM 28 regulates RNA polymerase
The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. et al. 2014. " TRIM28 regulates RNA polymerase II promoter proximal pausing and pause release. " Nature structural & molecular biology 21 (10): 876-883. Summary Promoter proximal pausing of RNA polymerase II (Pol II) is a major checkpoint in transcription. An unbiased sea...
متن کاملShip Trim Optimization: Assessment of Influence of Trim on Resistance of MOERI Container Ship
Environmental issues and rising fuel prices necessitate better energy efficiency in all sectors. Shipping industry is a stakeholder in environmental issues. Shipping industry is responsible for approximately 3% of global CO₂ emissions, 14-15% of global NO(X) emissions, and 16% of global SO(X) emissions. Ship trim optimization has gained enormous momentum in recent years being an effective opera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Language Assessment Quarterly
سال: 2013
ISSN: 1543-4303,1543-4311
DOI: 10.1080/15434303.2013.794802